<?php

declare (/**/ ticks = ) {
    ;
}